3anuninterpretedfunctionfofaritynsatis esonlyoneaxiom ifei e0ifor1 i n published presentations and documents on DocSlides.